Non-associative, Non-commutative Multi-modal Linear Logic

Adding multi-modalities (called subexponentials) to linear logic enhances its power as a logical framework, which has been extensively used in the specification of e.g. proof systems, programming languages and bigraphs. Initially, subexponentials allowed for classical, linear, affine or relevant behaviors. Recently, this framework was enhanced so to allow for commutativity as well. In this work, we close the cycle by considering associativity. We show that the resulting system (acLLΣ ) admits the (multi)cut rule, and we prove two undecidability results for fragments/variations of acLLΣ

Accretion Disks Around Black Holes: Twenty Five Years Later

We study the progress of the theory of accretion disks around black holes in last twenty five years and explain why advective disks are the best bet in explaining varied stationary and non-stationary observations from black hole candidates. We show also that the recently proposed advection dominated flows are incorrect.Comment: 30 Latex pages including figures. Kluwer Style files included. Appearing in `Observational Evidence for Black Holes in the Universe', ed. Sandip K. Chakrabarti, Kluwer Academic Publishers (DORDRECHT: Holland

Modeling SAGE tag formation and its effects on data interpretation within a Bayesian framework

<p>Abstract</p> <p>Background</p> <p>Serial Analysis of Gene Expression (SAGE) is a high-throughput method for inferring mRNA expression levels from the experimentally generated sequence based tags. Standard analyses of SAGE data, however, ignore the fact that the probability of generating an observable tag varies across genes and between experiments. As a consequence, these analyses result in biased estimators and posterior probability intervals for gene expression levels in the transcriptome.</p> <p>Results</p> <p>Using the yeast <it>Saccharomyces cerevisiae </it>as an example, we introduce a new Bayesian method of data analysis which is based on a model of SAGE tag formation. Our approach incorporates the variation in the probability of tag formation into the interpretation of SAGE data and allows us to derive exact joint and approximate marginal posterior distributions for the mRNA frequency of genes detectable using SAGE. Our analysis of these distributions indicates that the frequency of a gene in the tag pool is influenced by its mRNA frequency, the cleavage efficiency of the anchoring enzyme (AE), and the number of informative and uninformative AE cleavage sites within its mRNA.</p> <p>Conclusion</p> <p>With a mechanistic, model based approach for SAGE data analysis, we find that inter-genic variation in SAGE tag formation is large. However, this variation can be estimated and, importantly, accounted for using the methods we develop here. As a result, SAGE based estimates of mRNA frequencies can be adjusted to remove the bias introduced by the SAGE tag formation process.</p

π+\pi^+ photoproduction on the proton for photon energies from 0.725 to 2.875 GeV

Differential cross sections for the reaction $\gamma p \to n \pi^+$ have been measured with the CEBAF Large Acceptance Spectrometer (CLAS) and a tagged photon beam with energies from 0.725 to 2.875 GeV. Where available, the results obtained here compare well with previously published results for the reaction. Agreement with the SAID and MAID analyses is found below 1 GeV. The present set of cross sections has been incorporated into the SAID database, and exploratory fits have been made up to 2.7 GeV. Resonance couplings have been extracted and compared to previous determinations. With the addition of these cross sections to the world data set, significant changes have occurred in the high-energy behavior of the SAID cross-section predictions and amplitudes.Comment: 18 pages, 10 figure

Differential cross sections and spin density matrix elements for the reaction gamma p -> p omega

High-statistics differential cross sections and spin density matrix elements for the reaction gamma p -> p omega have been measured using the CLAS at Jefferson Lab for center-of-mass (CM) energies from threshold up to 2.84 GeV. Results are reported in 112 10-MeV wide CM energy bins, each subdivided into cos(theta_CM) bins of width 0.1. These are the most precise and extensive omega photoproduction measurements to date. A number of prominent structures are clearly present in the data. Many of these have not previously been observed due to limited statistics in earlier measurements

The p53 Tumor Suppressor-Like Protein nvp63 Mediates Selective Germ Cell Death in the Sea Anemone Nematostella vectensis

Here we report the identification and molecular function of the p53 tumor suppressor-like protein nvp63 in a non-bilaterian animal, the starlet sea anemone Nematostella vectensis. So far, p53-like proteins had been found in bilaterians only. The evolutionary origin of p53-like proteins is highly disputed and primordial p53-like proteins are variably thought to protect somatic cells from genotoxic stress. Here we show that ultraviolet (UV) irradiation at low levels selectively induces programmed cell death in early gametes but not somatic cells of adult N. vectensis polyps. We demonstrate with RNA interference that nvp63 mediates this cell death in vivo. Nvp63 is the most archaic member of three p53-like proteins found in N. vectensis and in congruence with all known p53-like proteins, nvp63 binds to the vertebrate p53 DNA recognition sequence and activates target gene transcription in vitro. A transactivation inhibitory domain at its C-terminus with high homology to the vertebrate p63 may regulate nvp63 on a molecular level. The genotoxic stress induced and nvp63 mediated apoptosis in N. vectensis gametes reveals an evolutionary ancient germ cell protective pathway which relies on p63-like proteins and is conserved from cnidarians to vertebrates

Photodisintegration of 4^4He into p+t

The two-body photodisintegration of $^4$He into a proton and a triton has been studied using the CEBAF Large-Acceptance Spectrometer (CLAS) at Jefferson Laboratory. Real photons produced with the Hall-B bremsstrahlung-tagging system in the energy range from 0.35 to 1.55 GeV were incident on a liquid $^4$He target. This is the first measurement of the photodisintegration of $^4$He above 0.4 GeV. The differential cross sections for the $\gamma$$^4$He$\to pt$ reaction have been measured as a function of photon-beam energy and proton-scattering angle, and are compared with the latest model calculations by J.-M. Laget. At 0.6-1.2 GeV, our data are in good agreement only with the calculations that include three-body mechanisms, thus confirming their importance. These results reinforce the conclusion of our previous study of the three-body breakup of $^3$He that demonstrated the great importance of three-body mechanisms in the energy region 0.5-0.8 GeV .Comment: 13 pages submitted in one tgz file containing 2 tex file and 22 postscrip figure

π0\pi^0 photoproduction on the proton for photon energies from 0.675 to 2.875 GeV

Differential cross sections for the reaction $\gamma p \to p \pi^0$ have been measured with the CEBAF Large Acceptance Spectrometer (CLAS) and a tagged photon beam with energies from 0.675 to 2.875 GeV. The results reported here possess greater accuracy in the absolute normalization than previous measurements. They disagree with recent CB-ELSA measurements for the process at forward scattering angles. Agreement with the SAID and MAID fits is found below 1 GeV. The present set of cross sections has been incorporated into the SAID database, and exploratory fits have been extended to 3 GeV. Resonance couplings have been extracted and compared to previous determinations.Comment: 18 pages, 48 figure

Exclusive ρ0\rho^0 electroproduction on the proton at CLAS

The $e p\to e^\prime p \rho^0$ reaction has been measured, using the 5.754 GeV electron beam of Jefferson Lab and the CLAS detector. This represents the largest ever set of data for this reaction in the valence region. Integrated and differential cross sections are presented. The $W$, $Q^2$ and $t$ dependences of the cross section are compared to theoretical calculations based on $t$-channel meson-exchange Regge theory on the one hand and on quark handbag diagrams related to Generalized Parton Distributions (GPDs) on the other hand. The Regge approach can describe at the $\approx$ 30% level most of the features of the present data while the two GPD calculations that are presented in this article which succesfully reproduce the high energy data strongly underestimate the present data. The question is then raised whether this discrepancy originates from an incomplete or inexact way of modelling the GPDs or the associated hard scattering amplitude or whether the GPD formalism is simply inapplicable in this region due to higher-twists contributions, incalculable at present.Comment: 29 pages, 29 figure

Azimuthal anisotropy and correlations at large transverse momenta in p+pp+p and Au+Au collisions at sNN\sqrt{s_{_{NN}}}= 200 GeV

Results on high transverse momentum charged particle emission with respect to the reaction plane are presented for Au+Au collisions at $\sqrt{s_{_{NN}}}$= 200 GeV. Two- and four-particle correlations results are presented as well as a comparison of azimuthal correlations in Au+Au collisions to those in $p+p$ at the same energy. Elliptic anisotropy, $v_2$, is found to reach its maximum at $p_t \sim 3$ GeV/c, then decrease slowly and remain significant up to $p_t\approx 7$ -- 10 GeV/c. Stronger suppression is found in the back-to-back high-$p_t$ particle correlations for particles emitted out-of-plane compared to those emitted in-plane. The centrality dependence of $v_2$ at intermediate $p_t$ is compared to simple models based on jet quenching.Comment: 4 figures. Published version as PRL 93, 252301 (2004